1. A formalization of set theory without variables
Author: Tarski, Alfred.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
T37
1987
2. A formalization of set theory without variables
Author: Tarski, Alfred
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
T37
1987
3. A formalization of set theory without variables
Author: TARSKI,ALFRED
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
248
.
T37
4. A formalization of set theory without variables
Author: Tarski, Alfred
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
T37
5. A formalization of set theory without variables /
Author: by Alfred Tarski and Steven Givant.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
Classification :
QA248
.
T37
1987
6. Alfred Tarski
Author: \ Douglas Patterson
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Tarski, Alfred, 1902-1983,تارسکی، آلفرد، ۱۹۰۲ - ۱۹۸۳م.
Classification :
BC
135
.
P32A4
2012
E-Book
,
7. Alfred Tarski
Author: Anita Burdman Feferman, Solomon Feferman,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Tarski, Alfred,Logic, Symbolic and mathematical,Logicians- United States- Biography
Classification :
QA
.
T32
,
F44
29
2004
8. Alfred Tarski and the “Concept of Truth in Formalized Languages”
Author: \ Monika Gruber
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Semantics (Philosophy),معنیشناسی (فلسفه),a04,a04,Tarski, Alfred, -- 1901-1983 -- Criticism and interpretation. ,تارسکی، آلفرد، ۱۹۰۲ - ۱۹۸۳م. -- نقد و تفسیر
Classification :
E-Book
,
9. Alfred Tarski and the "Concept of truth in formalized languages"
Author: Monika Grube,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Tarski, Alfred, 1901-1983, Criticism and interpretation,Semantics )Philosophy(,Truth,Electronic books,Electronic books., local
Classification :
EBOOK
,
BD
G7
171
10. Alfred Tarski collected papers
Author: Tarski, Alfred
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Collected works ، Mathematics
Classification :
QA
3
.
T37
1986
11. Alfred Tarski: life and logic
Author: Feferman, Anita Burdman.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Tarski, Alfred,، Logic, Symbolic and mathematical,United States -- Biography ، Logicians
Classification :
QA
29
.
T32
F44
2008
12. Alfred Tarski: life and logic
پدیدآورنده : Feferman, Anita Burdman
موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians-- United States
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Alfred Tarski : life and logic
Author: Feferman, Anita Burdman, 7291-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians -- United States
Classification :
QA
29
.
T32F43
14. Alfred tarski :
Author: D Patterson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
P39
.
D638
2014
15. Between logic and intuition :
Author: edited by Gila Sher, Richard Tieszen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
Classification :
QA9
.
A5
B489
2000
16. Cardinal algebras
Author: TARSKI,ALFRED
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ALGEBRA ABSTRACT
Classification :
QA
226
.
T3
17. Collected papers, Selections. 6891
Author: Tarski, Alfred.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics
Classification :
QA
3
.
T372
1986
18. Cylindric algebras
Author: Henkin,Leon
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Cylindric algebras
Classification :
QA
9
.
H415
19. Cylindric algebras
Author: Henkin, Leon
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Cylindric algebras
Classification :
QA
9
.
H46C96
20. Cylindric algebras
Author: Henkin, Leon
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Cylindric algebras
Classification :
QA
9
.
H415
